Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
761	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming
762	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering
763	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:55 Topological spaces Contractible space Homotopy Connected space Continuous function Topology General topology Homotopy theory
764	Microsoft Word - Acctest25a.doc Add to Reading List Source URL: www.prodsyse.com Language: English - Date: 2007-09-13 19:35:08 Design of experiments Statistical theory Reliability engineering Survival analysis Normal distribution Statistical hypothesis testing Type I and type II errors Confidence interval Maximum likelihood Statistics Hypothesis testing Statistical inference
765	Microsoft Word - Comp of Sensitivity & Specificity of all versions.doc Add to Reading List Source URL: www.painedu.org Language: English - Date: 2007-01-19 12:33:44 Categorical data Statistical theory Medical tests Sensitivity and specificity Positive predictive value Negative predictive value Prevalence Accuracy and precision Type I and type II errors Statistics Biostatistics Medical statistics
766	A cubical set model of type theory Thierry Coquand (j.w.w. Marc Bezem and Simon Huber) TYPES, May 12, 2014 A cubical set model of type theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-13 04:25:19 Category theory Simplicial set Lambda calculus Constructible universe Algebraic topology Homotopy theory Mathematics
767	Position Paper: Static Debugging of Programs Using High-Level Concurrency Libraries Philipp Haller EPFL, Switzerland Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2010-10-05 16:30:08 Type theory Cross-platform software Functional languages Java platform Procedural programming languages Scala Type system Ada Haskell Computing Software engineering Programming language theory
768	Revisions to PI IRBIS Interface, effective: Submissions in Progress / All My Studies Old Interface: We have dispensed with submission-type tabs and have provided a new, more robust method for filtering the Submi Add to Reading List Source URL: research.unc.edu Language: English - Date: 2015-02-06 07:41:07 Electromagnetism Signal processing filter Tab Filter Electronic filter Electronics Electronic engineering Filter theory
769	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: wiki.t-o-f.info Language: English - Date: 2012-01-05 14:13:29 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
770	Incremental Product-line Development Kester Clegg & Tim Kelly & John McDermid Rolls-Royce University Technology Centre in Systems and Software Engineering, Department of Computer Science, University of York, York, United Add to Reading List Source URL: www.plees.info Language: English - Date: 2002-10-21 17:25:29 Object-oriented programming Type theory Design Patterns Class Abstract type Requirement Software development process Product family engineering Software prototyping Software engineering Software development Computing

UPDATE